formal denotational semantics

形式表示语义(学)